Élément opposé pour \((E,\dotplus)\) : $$\forall u\in E,\exists!u^-\in E,u\dotplus u^-=0_E$$
Pour tout \(u\in E\), on a : $${{u^-}}={{(-1)\centerdot u}}$$ (Espace vectoriel)